It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...